Wellbore stability in geomechanics

Borehole instabilities can be encountered at any stage in the life of a well and they are the main cause of drilling difficulties, resulting in substantial expenditures, expensive loss of time, sometimes even in the loss of part of or even whole boreholes. The main aim of this research is to use new method and theory in geomechanics to conduct the stability analysis of wellbore. The cavity contraction theory is used to get the new elastic-perfectly plastic solutions for vertical borehole with anisotropic stress field. The solutions for Mohr-Coulomb and Hoek-Brown criteria are derived in this paper. A new alternative criterion, which is to limit the radius of plastic zone around borehole, to predict the wellbore instability was also recommended. The finite element code ABAQUS is applied to analyse the mechanical behaviour of wells with different inclinations and different azimuths. A Generalized Plane Strain Model is used in the calculation. The failure wellbore pressure, borehole closure, plastic zone distribution of different direction wells are given in this paper. In order to accurately predict the wellbore behaviour in soft and porous rocks, a suitable and advanced constitutive model of rocks is the key issue of the borehole instability research. A new model, called CASM (Clay And Sand Model) which is based on critical state theory and formulated in terms of the state parameter concept is applied in this research. The non-coaxiality theory is incorporated into CASM to analyse the wellbore stability. Compared with coaxial model, non-coaxial model gives more pessimistic results. However, it was found that the influence of non-coaxiality on wellbore stability depended on initial conditions of wellbore

Wellbore stability in geomechanics

Borehole instabilities can be encountered at any stage in the life of a well and they are the main cause of drilling difficulties, resulting in substantial expenditures, expensive loss of time, sometimes even in the loss of part of or even whole boreholes. The main aim of this research is to use new method and theory in geomechanics to conduct the stability analysis of wellbore. The cavity contraction theory is used to get the new elastic-perfectly plastic solutions for vertical borehole with anisotropic stress field. The solutions for Mohr-Coulomb and Hoek-Brown criteria are derived in this paper. A new alternative criterion, which is to limit the radius of plastic zone around borehole, to predict the wellbore instability was also recommended. The finite element code ABAQUS is applied to analyse the mechanical behaviour of wells with different inclinations and different azimuths. A Generalized Plane Strain Model is used in the calculation. The failure wellbore pressure, borehole closure, plastic zone distribution of different direction wells are given in this paper. In order to accurately predict the wellbore behaviour in soft and porous rocks, a suitable and advanced constitutive model of rocks is the key issue of the borehole instability research. A new model, called CASM (Clay And Sand Model) which is based on critical state theory and formulated in terms of the state parameter concept is applied in this research. The non-coaxiality theory is incorporated into CASM to analyse the wellbore stability. Compared with coaxial model, non-coaxial model gives more pessimistic results. However, it was found that the influence of non-coaxiality on wellbore stability depended on initial conditions of wellbore

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

Optimistic multiparty contract signing (OMPCS) protocols are proposed for exchanging multiparty digital signatures in a contract. Compared with general two-party exchanging protocols, such protocols are more complicated, because the number of protocol messages and states increases considerably when signatories increase. Moreover, fairness property in such protocols requires protection from each signatory rather than from an external hostile agent. It thus presents a challenge for formal verification. In our analysis, we employ and combine the strength of extended modeling language CSP# and linear temporal logic (LTL) to verify the fairness of OMPCS protocols. Furthermore, for solving or mitigating the state space explosion problem, we set a state reduction algorithm which can decrease the redundant states properly and reduce the time and space complexity greatly. Finally, this paper illustrates the feasibility of our approach by analyzing the GM and CKS protocols, and several fairness flaws have been found in certain computation times

Spatial and Temporal Variation of Soil Salinity During Dry and Wet Seasons in the Southern Coastal Area of Laizhou Bay, China

260-270The southern coastal area of Laizhou Bay is subjected to severe soil salinization due to saline groundwater. The degree of spatial variability is strongly affected by seasonal changes during an annual cycle. In this paper, the spatio-temporal variability of soil salinity in Laizhou Bay, China, was examined to ascertain the current situation of soil salinization in the study area and to reveal the characteristics of seasonal variation of soil salinity. The classical statistical methods and geostatistical methods were applied to soil salinity data collected from four soil layers, i.e., 0-30, 30-60, 60-90, and 0-100 cm, during summer and autumn in 2014. The results indicated that the variation of soil salinity of all the soil layers in summer and autumn was moderate. The soil salinity in the 0-30 cm layer showed a moderate spatial autocorrelation, whereas the spatial autocorrelations of soil salinity in other layers were strong. The overall spatial distribution of soil salinity showed a clear banding distribution and the degree of salinization in the eastern area was lower than that in the western and northern regions.A high ratio of evaporation/precipitation is one of the important reasons for the soil salinity in July is significantly higher than that in November. The rank of soil salinity under different land-use types was: salt pan > orchard > weeds > soybean > woods > cotton > maize > ginger > sweet potato. The research findings can provide theoretical guidance for accurate assessment and soil partition management of regional soil salinization

Understanding the Impact of Indirect System Use in the hospital: A Control Perspective

In the hospital, designated system users (i.e., principal physicians) are usually found to delegate system-related tasks to other people (i.e., agent physicians). This behavior is termed as indirect use. Despite the prevalence of indirect use, the understanding of its clinical impacts is limited. In this research, we first propose different effects of indirect use on clinical care quality and physician–patient interaction care quality. We then draw on the agency theory and organization control literature to identify the moderating effects of three control mechanisms: input control, process control, and outcome control. A total of 242 physicians from a general public hospital were surveyed to verify the proposed hypotheses. The results show that three control mechanisms moderate the impacts of indirect use in different manners. Implications and plan for future research are then discussed

DynaComm: Accelerating Distributed CNN Training between Edges and Clouds through Dynamic Communication Scheduling

To reduce uploading bandwidth and address privacy concerns, deep learning at the network edge has been an emerging topic. Typically, edge devices collaboratively train a shared model using real-time generated data through the Parameter Server framework. Although all the edge devices can share the computing workloads, the distributed training processes over edge networks are still time-consuming due to the parameters and gradients transmission procedures between parameter servers and edge devices. Focusing on accelerating distributed Convolutional Neural Networks (CNNs) training at the network edge, we present DynaComm, a novel scheduler that dynamically decomposes each transmission procedure into several segments to achieve optimal layer-wise communications and computations overlapping during run-time. Through experiments, we verify that DynaComm manages to achieve optimal layer-wise scheduling for all cases compared to competing strategies while the model accuracy remains untouched.Comment: 16 pages, 12 figures. IEEE Journal on Selected Areas in Communication